<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="/static/js/vendor/jquery.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="/static/js/vendor/bootstrap.min.js"></script>

<script src="/static/js/vendor/codemirror.min.js"></script>
<script src="/static/js/vendor/htmlmixed.min.js"></script>
<script src="/static/js/vendor/xml.min.js"></script>
<script src="/static/js/vendor/properties.min.js"></script>

<script src="/static/js/vendor/diff_match_patch.js"></script>
<script src="/static/js/vendor/merge.min.js"></script>
<script>
    function showModal(id) {
        $(id).modal({
            keyboard: true
        })
    }
</script>